首页> 外文OA文献 >Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm

【2h】

Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm

机译：并行奇偶校验游戏：Zielonka递归算法的多核吸引子

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Arcucci, Rossella; Marotta, Umberto; Murano, Aniello; Sorrentino, Loredana;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm [J] . Rossella Arcucci, Umberto Marotta, Aniello Murano, Procedia Computer Science . 2017,第1期

机译：并行奇偶校验游戏：Zielonka递归算法的多核吸引子
2. Toward amultilevel scalable parallel Zielonka’s algorithm for solving parity games [J] . DAmore Luisa, Murano Aniello, Sorrentino Loredana, Concurrency, practice and experience . 2021,第4期

机译：朝向Aullilevel可扩展并行Zielonka的解决奇偶校验算法
3. Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time [J] . Pawel Parys LIPIcs : Leibniz International Proceedings in Informatics . 2019,第2期

机译：奇偶游戏：准多项式时间内的Zielonka算法
4. Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games [C] . Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, International conference on verification, model checking, and abstract interpretation . 2017

机译：解决2.5人奇偶游戏的综合策略改进与递归算法
5. Synthesizing communication-efficient distributed memory parallel programs for block recursive algorithms [D] . Gupta, Sandeep Kumar S. 1995

机译：为块递归算法合成通信效率高的分布式内存并行程序
6. A Parallel Point Matching Algorithm for Landmark Based Image Registration Using Multicore Platform [O] . Lin Yang, Leiguang Gong, Hong Zhang, -1

机译：并行点匹配算法基于地标的图像配准多核平台
7. Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds [O] . Maciej Gazda, Tim A.C. Willemse 2013

机译：Zielonka的递归算法：枯燥，弱小和单人游戏，界限更窄

Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm

著录项

引文网络

相似文献

相关主题

期刊订阅